* make-dist (msdos): No more mainmake.
authorGlenn Morris <rgm@gnu.org>
Tue, 11 May 2010 03:10:36 +0000 (20:10 -0700)
committerGlenn Morris <rgm@gnu.org>
Tue, 11 May 2010 03:10:36 +0000 (20:10 -0700)
commit792a46a6baad90a07c8c01478314a979a9656015
tree0c463e1cdb3963d8750144bdbcb9e1cc004db715
parenta0174ad5d5157b0ef78f310908ae7eb29e63776c
* make-dist (msdos): No more mainmake.
ChangeLog
make-dist